graph rewriting system An extension of a term rewriting system which uses graph reduction on terms represented by {directed graphs} to avoid duplication of work by sharing expressions.
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.